ablation of pulmonary veins by video assisted thoracic surgery